.dp-highlightArea {
  font-family: "Consolas", "Courier New", Courier, mono, serif;
  font-size: 10pt;
  background-color: #E7E5DC; /*width: 99%;*/
  overflow: auto; /*margin: 18px 0 18px 0 !important;*/
}

/* clear styles */
.dp-highlightArea table,
  .dp-highlightArea td,
  .dp-highlightArea tr,
  .dp-highlightArea div,
  .dp-highlightArea span {
  margin: 0;
  padding: 0;
  border: none;
}

.dp-highlightArea a,
  .dp-highlightArea a:hover {
  background: none;
  border: none;
  padding: 0;
  margin: 0;
}

/* line styles */
.dp-highlightArea .lines {
  background-color: #fff;
  margin-bottom: 1px !important; /* 1px bottom margin seems to fix occasional Firefox scrolling */
  padding: 0;
  color: #5C5C5C;
  width: 100%;
}

.dp-highlightArea .line {
  width: 100%;
  white-space: nowrap;
}

.dp-highlightArea .line span {
/*for our friend, the IE7*/
  white-space: nowrap;
}

.dp-highlightArea .line .code {
  background-color: #F8F8F8;
  color: #5C5C5C;
  padding: 0 3px 0 10px !important;
  margin: 0 !important; /*border-left: 3px solid #6CE26C;*/
  border-left: 2px solid #ccc;
  height: 100%;
}

.dp-highlightArea .line1 .code {
  background-color: #FFF; /*color: inherit;*/
}

/* gutter styles */

.dp-highlightArea .gutter {
/*width: 45px;*/
/*background: #E7E5DC;*/
  background: white;
  cursor: default;
  padding: 0 5px;
}

.dp-highlightArea .gutter.number {
/*width:20px;*/
/*text-align:right;*/
  font-size: .9em;
  width: 2.5em;
}

/* selected lines */

.dp-highlightArea .selectedLine .code {
  background-color: #b4b4b4;
  color: inherit;
}

.dp-highlightArea .selectedLine.line1 .code {
  background-color: #b9b9b9;
  color: inherit;
}

.dp-highlightArea .selectedLine .gutter {
  background: #A3A198;
  color: inherit;
}

/* Language specific styles */

.dp-highlightArea .comment, .dp-highlightArea .comments {
  color: #008200;
  background-color: inherit;
}

.dp-highlightArea .string {
  color: blue;
  background-color: inherit;
}

.dp-highlightArea .keyword {
  color: #069;
  font-weight: bold;
  background-color: inherit;
}

.dp-highlightArea .preprocessor {
  color: gray;
  background-color: inherit;
}
